人工知能の研究者たち⑧ ロジック・プログラミングの闘士R.A.コワルスキー